Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam since 1982. Terminology used is summarised as rules similar to the commutative, associative, distributive and other functions of normal algebra. An example quoted relates to a relay race. This leads on to the concepts of `alternating bit protocol' and `fair abstraction rule
Get PDF
